f: (String -> String
res1 = 42
